#ifndef __EKOS_SYSCALL_H__
#define __EKOS_SYSCALL_H__

#define INT_SYSCALL 0x80
#define INT_YIELD   0x81
#define INT_KCB_RET 0x82
#define INT_IPI     0x83

#define SC_KPRINTF      0x00
#define SC_GET_PID      0x01
#define SC_FORK_PROC    0x02
#define   FORK_PARENT   0x00
#define   FORK_CHILD    0x01
#define SC_FORK_MEM     0x03
#define SC_ALLOC_TEMP   0x04
#define SC_ALLOC_IO     0x05
#define SC_MARK_SHARED  0x06
#define SC_SET_PRIORITY 0x07
#define SC_SET_SH       0x08
#define SC_SET_SF       0x09
#define SC_SPL_ACQUIRE  0x0a
#define SC_WAIT         0x0b
#define SC_NOTIFY       0x0c
#define SC_SIGNAL       0x0d
#define SC_IRQ_SIGNAL   0x0e
#define SC_IRQ_ACK      0x0f
#define SC_MAP_IO       0x10
#define SC_MAX	        0x10

#define IPI_IDLE        0x00
#define IPI_WAIT        0x01
#define IPI_NOTIFY      0x02

#endif
